Labels:text | screenshot | font | diagram OCR: Key Data Elements (e.g. Register Contents, Bad Instructions, CBRW) Memory Dump PREDIAGNOSIS Parser Symptom Bellef Networks Collactor DIAGNOSIS Flow Graph and Symptoms Debugging Rules Symbol Table Logical Analysis Probabilistic Analysis -program translation diagnostic inference engine path refutation -syntactic usage analysis Diagnosis, Explanation, Program Display DAACS SYSTEM ARCHITECTURE integrates heuristic and uncer- tain reasoning with logical analyses. The objective is to locate the source of logic errors in assembler language programs.